Taming the Octopus: Using Formal Models to Integrate the Octopus Object Oriented Analysis Models
نویسنده
چکیده
The Octopus method packages a rich set of mostly graphical object-oriented (OO) modeling techniques that facilitate the creation of abstract, well-structured models of structure and behavior along a variety of modeling perspectives. The techniques provide good tools for managing the complexity in reactive, embedded systems. On the other hand, the lack of precise semantics for the modeling notations used diminishes the role it can play in the development of critical reactive systems. In this paper we describe an extension to the Octopus analysis techniques that provides support for precise speciication and rigorous analysis. We use a formal notation, Z, to describe formally the concepts captured by Octopus analysis models. The formal notation enhances the applicability of Octopus models to critical, reactive systems.
منابع مشابه
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملSeasonal Variations of Fat and Fatty Acid Composition in Muscle Tissues of Mediterranean Octopuses
The effects of seasons on lipid and fatty acid profiles of muscle types (mantle and arm) of Mediterranean octopuses (common octopus-Octopus vulgaris and musky octopus-Eledone moschata) were investigated. The results showed that lipid levels ranged from 0.75% to 1.60% in both muscle types of octopuses which were considered as lean. Lipid levels in mantle tissues of both octopus species w...
متن کاملStudy on the fishing performance of an alternative tubular-type pot for the common octopus, Octopus minor, in Korean coastal waters
We aimed to develop alternative fishing gear for catching the common octopus, to decrease the use of bait and operating costs in comparison to commercial net pots. A tubular-type pot was designed, and behavioral responses of the common octopus were experimentally monitored in tank and replicated 10 times to compare fishing performances between 300 experimental and 300 commercial net pots in the...
متن کاملStudy on the fishing performance of an alternative tubular-type pot for the common octopus, Octopus minor, in Korean coastal waters
We aimed to develop alternative fishing gear for catching the common octopus, to decrease the use of bait and operating costs in comparison to commercial net pots. A tubular-type pot was designed, and behavioral responses of the common octopus were experimentally monitored in tank and replicated 10 times to compare fishing performances between 300 experimental and 300 commercial net pots in the...
متن کامل